perm filename CMSY8.360[360,GF] blob
sn#868303 filedate 1989-01-11 generic text, type T, neo UTF8
{`dα&Q*Dλ#∪ie ⊂≠nW 8≥.B_N'βH↔ε∩p_L'#~
εt H∧⊃h∞ε ⊗λ↓XExαW`Up@ Ep@ Eh@@Eh@@E`@`EX↓`EXAEP↓↓EPA EHA@E@↓↓@E@A`E8↓↓`E0↓αE(↓α U(λ∃α∃_↓βDXA@ hα∩`⊂(↓C TP↓@`0pαRA↓α∩@qλβR@a⊂αR`D("⊂C⊃P
εA⊂βAJ⊂_αB)p(↓@@@0(↓ ⊂β↓* @A (↓A⊂_(↓A⊂_(↓!⊂_(↓↓ λ'A!⊂'A P_'A@8'A X'@a8'↓↓ ('↓↓0('↓↓0('aP 'aP &A↓P &@a`_&@a`⊂&↓↓P⊂&` ⊂∧@I@_A P_%@`⊂`%@ P8"Qλ1(εC pβ∃!% ↓↓U⊂↓↓`Eλ↓α5↓α 4x↓α 4p↓α@$h↓B $`α∪4`↓R`DX↓R`4Pα∩@DPα∩@DPα∩@TPαC$XαB 4Xβα∀`β↓ $h¬∪@t("⊃βr
εA⊂p(¬ `_↓APH&@@P ∧↓i@⊂β↓↓ 0%@`` ¬A) ⊂∧↓↓@(%!⊂ ε↓*@_π↓
@_π↓
0 π↓
0 π↓
0 πj0_π@j0_π↓
πj _π@j _πj⊂ πJ⊂_πJ⊂_ε@J ε*_¬@J_∧@Ip_β↓ ``&B(T "EBqP
β@u(¬U (αT@ @α∀ 0@↓T0H↓∀4xα∪`TxαTe∧T@eλ↓∀∀p↓∪ $`↓R`4X↓R@DPαβ $PαB@$PαB@∀Xβ↓@$Xε∪!∧("⊃Dαλ
εAa⊂*E*0_↓A↓⊂_)@P ∧@*⊂⊂β↓
_βip⊂∧ipλ∧↓_,jp +@jp_+βJ``+jP_*@j@_*j0_)@j _&@@_%A _%α 0("Qλq8πC h∧U!E_↓↓`U⊂B@E↓α`4x↓β$p↓β4h↓B`4`↓C∀`↓R`DX↓R`1R@@x↓∩@@hα∩@@hα∩@@h↓R@@`α∩@PXα∩@PPα∩`P@αR`p ↓ D`¬@@4pβ↓ 5@↓V58↓U`$h↓A@$X¬S↓∧("∩∧∩⊂
FA( IpHλI`⊂↓A!p_&`P πi0_β↓↓`_%@`` ε@i ⊂∧↓↓P_%!⊂_ε@j@_ε@j0 ε↓
0 εj0_Cj1_)↓↓@_)↓↓@_)a@ )a@ (A↓@_(A↓@_(@a@ (@a@ (↓↓@ (aP (aP β)p_π↓@⊂'@a`(↓I`⊂λα⊂("Q ⊃X
εC Pλ∀B∃↓α $x↓α $h↓B 4h↓α E@↓V58α∃`58↓U@E0α∃@50↓U E(↓U 5 α∃5 ↓T`E_↓B%_↓α%⊂↓α$`λRb∧("∩D∩_∂εB0h-CK⊂⊂∧@Kλ¬J`⊂¬JP⊂¬j@_∧@j0_¬j0⊂¬j ⊂¬@k`_/kP .AP_.@k@ .k@_-A0 -@i@⊂ε@i0_εi εi ¬@i (¬I 0∧I08αI@X'↓HT %GβQP
α hα∀ 0XβS`PH↓`5α↓` 0T@0T@ ↓∀@_T@⊂T@λT0λ↓∀dxβSa∧x↓@ Dx↓@@4pα@Dp↓@`Dp↓A4hα↓Dh↓A Th↓A@D`α↓`@HS0@αα$`↓B @0↓∩`0PαA$X↓Ba∧P↓β@T("∪β⊃P
εB⊂(,Bλ↓A*`⊂αA*P_αA
@_β@J@⊂)@j )j _(A
⊂_(@j (j_'A p_'@i`_'b⊂&@ap_&B!⊂_&β@@⊂&@@h%@! 8"Q Rh↔εc!↓⊗AHVA@↓∃`Q8↓U`a(α∃`a αU`⊂λα∧`U8@ A⊂β∃@ λα∧ u0@@Px↓@ E0@@Pp↓@@E0@`@p↓`E(AP`↓↓E(APX↓↓ 5(A @P↓↓@5 A@@H↓A E A@P8↓A@E A@P0↓A`E_B@(↓BE_BP_↓B E⊂B Pλαα@E⊂BAXα∀ ⊂XβCDX↓` `αC DXββ 0xαR@ppDtPβλ DXα⊃(Dp∀
βqp∩↓
@05Am 8,B_+↓↓p⊂+↓↓pλ+↓!`λ*AAPλ*AAPλ*@ ⊂(ε*PλA!@λ*@ ¬@*Pλ↓↓! λ*@ (¬*@λα↓↓⊂λ* @(∧*@λα↓!λ* P ∧*0λβ↓ `λ)@ `(β*0λβA`λ)!(α@* λ∧↓ @λ)!⊂(↓@*⊂λ¬↓ 0λ(@!0(↓)0⊂↓@!@(@I 8εAI 0π↓I 0πA 0 λ@HT 'GD↓P
β (βU (¬∀`⊂0A e⊂A@⊂8β∀ (↓BTx↓↓ 0PαS@0(↓α`Th↓A 0`α∪ (↓C D`↓A ⊂xα∩`A(α∩`10α∩`10↓R@A0↓R@A(α∩@A(↓R@A(↓R@A ↓R@Q_↓∩@Q⊂↓R`Aλ↓R`QR``pS`X↓∪ p0↓SAU∧⊃(E∂πc1P∧Cj↓('`0 βα P⊂αA↓⊂0&@` ¬↓I0_β↓↓0(%A ε↓ λ∧A↓@ *aP *aP_)A↓P_)A↓@_)A↓@⊂)@a@⊂)@a0λ)↓↓⊂⊂)`p_)` 0(A⊂ (A
⊂_(@j_(ip '@ip⊂'HT (G∧↓x
βA¬0ε∃ 0βT@ PαT ⊂hαT hαS@0xαS@!αS 1λα∪1⊂α∪1⊂α∩`1_α∩`1_α∩@A_↓R@A_↓R@A⊂↓R@A⊂↓R@Q↓R@Q↓R`PHA4XβA (↓∪↓00↓∪@p8↓⊗`∃H↓∃@4h¬β $`¬β4x¬α %⊂¬↓ %(ε⊗t("∀D"_
εA⊃(¬)`_↓Ap8&@@P ∧AI@⊂β↓↓ (%@`` ¬A ⊂∧↓↓0 %!⊂ ¬@j@_εj@_¬@j0 ¬@J0 ¬J0 ∧@J0_∧J0_↓AJ ↓↓J _α↓J _αA*⊂ β↓*⊂_βA*⊂_∧↓* ∧↓J_¬↓!λ(a0(β)p_ε↓@0⊂'@aP@'B("Q
1H
εC p∧∃AE ↓↓@e_↓α E⊂↓α@Eλ↓B@5α∀EαTeλβ∀A¬_∧UA¬@βV@UXαS@⊂`αS pα∩`0pα∩@@p↓R@@p↓∩@P`↓∩@`P↓∩`p0↓S↓Tp∧⊃(E ∂Hβ1X∞J!((¬)`⊂¬iP⊂¬↓ @_¬i0_¬@i0_¬↓ _¬@i λε@jp +A
p_+@j` +↓
`_+jP *@jP_*j@_)@j0⊂)IpX'αHT *G#QP
↓ QλS px↓S⊂_αβ@Eαβ@5↓C`5↓C@Dxαβ@4x↓C@Dx↓C@Dpαβ Dp↓C@Dp↓C Th↓C@Dh↓C T`αβd`↓Cd`↓C λ↓R`@X↓ DX↓B` ⊂α∩`0P↓@@4Pαα 0_↓R@@HADPαα⊂(α∩@P(↓↓@DPβ` 8α∩aHβ∪PXα⊃(E0FCAP↓↓↓p⊂%↓aP &↓A@(&AA 0'↓!@ 'A!@_'A!P⊂(↓↓Pλ(↓↓Pλ(↓!@λ(↓!0λ(A↓ ⊂(A↓ λ(A↓⊂⊂(A↓⊂(Ap⊂(A`_(AP_(A@_(A0_(A _(A⊂_(Aj⊂0(A*((↓
_((T +J%!`
@Aλ↓β4PβC@@`α∪`hαB`DhαC PPαS@P`αC4pαB`⊂λαC$xαα`⊂λαC$xαB ⊂_αβ∀xαB _αB`∃αα⊂ αB`∃α↓` (αα@∃α↓@ 0αα@∃α↓@⊂8αα ∃α↓ 8αA`%α↓ @αA`∃α↓⊂Pα↓@%α` Pα↓ %α@ Xα↓ ∃α `α↓%α `α@@%ββ Pλ↓∀Pxα %α∧eα∧U↓D Dx↓D@Dx↓∧`4xE$xE∀("⊗βrλ
εA0(¬@j@8∧A* ⊂↓↓!⊂((@@@(∧A
p(∧@k ∧@K ∧+ β@+ α@K ↓@K ↓+0,↓(+AJP⊂↓↓
@λα↓
⊂αA
⊂βA pλ∧A `λ¬↓ @⊂¬A 0_¬A ¬A @⊂%↓↓00@i (¬Ai εA(T ,GβQx
↓ Pp↓∪AXα∪ ⊂βB@U⊂ββ%_αC ∃ αC∃ αC∃(αβ∃(αB@∃(αB@∃0αα %0αα ∃0αα%0αα∃0α↓`%0αA %0αA58α↓%8α`%8α@%8α 58βU`e8αU`E0α∩@⊂Pα∩@ 8αR@0(α∩a$`βS T("⊗Cax
εA`@β*a*@`H)@AP_)a@_(@A`⊂(@!`⊂/@K`⊂.@K@⊂*C
@h,@@0⊂,@@λ+@J`⊂*@J@⊂)@A`⊂)!p_(@!p_'@B⊂'B_&C`⊂&¬ 0λ∧B(T εβ@λ¬β∧P⊃(@0∞πC1Xπ*p⊂+@Jp⊂+@Jp⊂+@Jp⊂+@Jp⊂+@Jp⊂+@I!`%π
p⊂+@Jp⊂+@Jp⊂+@Jp⊂+@Jp⊂+@Jp⊂%π !`"Q↓↓`∂εbpP∧∀@ @`%↓↓@⊂(↓∪`⊂@A`∀pB ⊂@S ⊂PB ∀`B`⊂PS⊂XB@∀XC⊂XR`⊂`B`∀PC ⊂`R@⊂hC∀PC ⊂`RCDPC ⊂`R@⊂hC∀PC ⊂`R@⊂hC∀XC⊂XR`⊂`B`∀`B`⊂PS⊂XB@∀hB@⊂HS@⊂HB∀xB⊂8T 0A %⊂↓↓⊂_↓∃↓∧("αCAp
Ea @)A⊂(A@⊂'@"λ'" λ&@ ⊂λλ ⊂λ& 0λπ 0λ& @λε @λ%@ `λ¬ `λ%@ pλ∧ pλ%!⊂λβ!⊂λ%! λα! λ%!0λ↓!0λ%!@⊂ε) λεA@λ%!0λ↓!0λ%! λα! λ%!⊂λβ!⊂λ%@ pλ∧ pλ%@ `λ¬ `λ& @λε @λ& 0λπ 0λ&@ ⊂λλ ⊂λ'" λ'@"λ(A@⊂)A⊂*αλT -Ec⊃0 ⊃ R@!_↓∩@!_↓∩@!_↓∩@!_↓∩@!_↓∩@!_↓∩@!_↓∩@!_↓∩@!_↓∩@!_↓∩@!_↓∩@!_↓∩@!_↓∩@!_↓∩@!_↓∩@!_↓∩`!⊂↓∩`!λ↓∪0h↓S @Hα∪aUλ∧Q(E`F"a0βB)ph&A↓⊂ &aP_%@B⊂⊂%B ⊂%B0⊂%B0⊂%B0⊂%B0⊂%B0⊂%B0⊂%B0⊂%B0⊂%B0⊂%B0⊂%B0⊂%B0⊂%B0⊂%B0⊂%B0⊂%B0⊂%@"@λ"Qa8EB`XU5 ↓T` λ↓∀` λ↓∀@ _↓∀@ _↓∀ (↓∀ (↓∀ 8↓∀ 8↓∪` H↓∪` H↓∪@ X↓∪@ X↓∪ h↓∪ h↓∪ x↓∪ x↓∩`!λ↓∩`!λ↓∩@!_↓∩@! Q(ExF"a0B@λ%B0⊂%@B⊂⊂%@B⊂⊂&Ap⊂&Ap⊂&@AP⊂&@AP⊂'A0⊂'A0⊂'@A⊂⊂'@A⊂⊂(@p⊂(@p⊂(@@P⊂(@@P⊂)@0⊂)@0⊂)@@⊂⊂)@@⊂⊂*j@_*@(T ⊃Dα"_
A`%λ↓∀ %λ↓∀ %λ↓∀ %λ↓∀ %λ↓∀ %λ↓∀ %λ↓∀ %λ↓∀ %λ↓∀ %λ↓∀ %λ↓∀ %λ↓∀ %λ↓∀ %λ↓∩`⊂(↓↓ ∀`A S ⊂↓@$x@ λTEα∀ %⊂Q(B⊂λ∧D1X∧*⊂⊂(↓
'@ ⊂⊂@)P⊂↓@ ⊂& @⊂α)0λα@@Pλ(@J⊂⊂(@J⊂⊂(@J⊂⊂(@J⊂⊂(@J⊂⊂(@J⊂⊂(@J⊂⊂(@J⊂⊂(@J⊂⊂(@J⊂⊂(@J⊂⊂(@J⊂⊂(@J⊂⊂(@J⊂⊂"Q∧α(∪C"8T∃S`∀pS ∀X∩∩dDhS@∀xT∃T ∀("λ$R8εDβPλ4-λ4@- λ5@)"(% -0λ5-⊂λ4-λ3@(T ∩ $phλ↓`⊃(T⊃8T⊃8S`⊃HS@⊃XS ⊃hRdDX∩∪ ⊃hS@⊃XS`⊃HT⊃8T⊃8T ⊃(Q(APπβ⊃0∧Cj↓⊂'A `⊂&@I@⊂&I0⊂%@I ⊂%I ⊂%I ⊂%I ⊂%I0⊂%@I@⊂&IP⊂'Ip (∧J0x"Qβ1@∞ε"`λπ∩b∃Hα↔%h↓↔@%p↓↔`%x↓_&↓_&↓_&↓_&↓↔`%x↓↔@%p↓↔ %`↓⊗ DXλRad("B18EA⊂P(β)p 'IP⊂&I@⊂%@I0⊂%I ⊂%I!_%∧i ⊂%I ⊂%@I0⊂&I@⊂&@I`⊂'A
h)BHT ≤εβ↓X
@ ⊃(R@! ↓∩`!⊂↓∩`!⊂↓∩`!⊂↓∪!↓∪!↓∪ p↓∪ p↓∪@ `↓∪B∧pλ∪` P↓∪` P↓∀ @↓∀ @↓∀ 0↓∀ 0↓∀ 0↓∀@ ↓∀@ ↓∀` ⊂↓∀` ⊂↓∃E α∃E(↓∃ $("∞"1(
F`↓_%∧k0⊂-@K0⊂-@K0⊂-@K0⊂-@K0⊂-@K0⊂%DI1⊂-@K0⊂-@K0⊂-@K0⊂-@K0⊂-@K0⊂-@I!_%∧hT ≥¬c⊂Pε@αtPW`%x↓↔`%x↓↔`%x↓↔`%x↓⊃(A π∧!PK` .↓0_,@jp *A
0 (A
_'i@ %↓ &↓ `_(j⊂ )A
P +A⊂_-@k@ /↓⊂#A`⊃0%ελT
FβB⊂
$Pα∪Dp↓T5λα∀`E(α∃`EH↓V`5`α↔@Epα↔EX↓V 58α∃ E_α∀ E↓S@4`α∩`4P↓⊃`pλ∩C∧("∧#Ap D`↓`%Fhp8π !`#A`⊃X%πλT 7∧α"8∞@$P↓∩`$X↓∩`$`↓∪$`↓∪ $h↓∪ $p↓∪@$x↓∪`$x↓∀%↓∀%λ↓∀ %⊂↓∀@%⊂↓∀`%_↓∀`% ↓∃%(↓∃ %(↓∃@%0↓∃@%8↓∃`%8↓⊗%HQ(FP↓↓dqhI ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂"Q⊂ ∧a0λ↓∩@DPα∩`$("↓"A Da λ)@j ⊂@J⊂⊂↓@J⊂α@Ip⊂β@I`⊂∧@IP⊂¬@I@⊂ε@I0⊂π@I0⊂π@I@⊂ε@IP⊂¬@I`⊂∧@Ip⊂β@J⊂α@J⊂⊂↓@J ⊂@J0_*(T 3βB∩8∞B@E⊂↓T 5↓T5↓T5↓T5↓T5↓T5↓T5↓T4x↓S@4Pβ∩@dp↓S`5↓T5↓T5↓T5↓T5↓T5↓T5↓T5λ↓T@5 α⊃(F8π∧$qh↓ P '@j_(j_(j_(j_(j_(j_(j_(j⊂_)J0()A* ⊂(@j_(j_(j_(j_(j_(j_(j_(ip_&A "Qε∩(∪Dα(ββ`dp∧B`@_↓∪0(αB @↓∪⊂Hα↓ XR`⊂Xα` hR`⊂`α@⊂pR@⊂pββ`∀PC`AR@⊃↓D∀PD@xR@⊂xββ@∀XC@⊂⊂αβ∀XC _αα`∀`B` (αα ∀`↓α @αA 4p↓`@X∧S``xβ⊃(G_λDd1XεjPλ↓@*@⊂↓@J@⊂↓j@⊂↓@*0⊂)@J0⊂)@J0⊂)j _)j _)J⊂_(@j⊂_(@j⊂_(@j⊂⊂(j_(j_(J⊂(J⊂(I0λ↓@I _↓I ⊂↓@I0λ↓@)@_"Q!
∧b0λD ∀X↓β`$`↓β $h↓α`$p↓α $x↓↓`%↓↓ %λ↓`%⊂↓ %_↓T`5⊂↓ %λ↓`%↓↓ $x↓↓`$p↓α $h↓α`$`↓β $X↓β`$XD ∀("b↓⊂λ∧@p⊂(@J⊂⊂(@I _α@@_%@`0⊂↓@iP_@@⊂_'AJ⊂⊂'AIP_@@⊂_%@`0⊂↓@i _α@@_(@J⊂⊂(@J⊂⊂"QA`∂¬B@`α∃@E0α∃@D8ββDP∞⊃```α∃@E0α∃@D("↓cAp
D`↓`%π
p⊂+@Jp⊂+@Jp⊂+@Jp⊂+@Jp⊂+@Jp⊂%π !`+@Jp⊂+@Jp⊂+@Jp⊂+@Jp⊂+@Jp⊂+@Jp⊂,(T ∧GβaXBA¬⊂↓α%↓β$xD∀pD@∀hE∀`E@∀`E@∀XF∀XF∀PF@∀PF@∀PF@∀P∞∩@⊃PR@⊃PR@⊃PR@⊃PR`⊃@R`⊃@S⊃0S⊃0S ⊃ S@⊃⊂S`⊃T `↓∀@ @↓∃↓∧("αcAp
Ea @)A⊂(A@⊂'@"λ'" λ&@" λ@)@λ 0λ&"⊂λα)0λλ@ `λ%@"λβ@) λλ!⊂λ%!pλ¬) λπ!0λ%!Pλε) λε!Pλ%!0λπ) λ¬!pλ%!⊂λλ)0λβ@"λ%@ `λλ@)@λα"⊂λ& 0λ )Pλ@" λ'" λ'@"λ(A@⊂)A⊂*αλT επβaXBA¬⊂↓α%↓β$xD∀pD@∀hE∀`E@∀`E@∀XF∀XF∀PF@∀PB`@XR@⊂Pβα@∀PB@`PR@⊂Pβα@∀PB@`PR@⊂Xαα`∀PF@∀XF∀XF∀`E@∀`E@∀hE∀pD@∀xD∃↓β%⊂↓α% ∧⊃(@h∩Id1XπAj`h*↓ p()↓↓P (@b⊂_(BP⊂'@Bp⊂'C⊂⊂&@C0⊂&@C0⊂&CP⊂%@Cp⊂%@Cp⊂%@Cp⊂%D⊂⊂%D⊂⊂%D⊂⊂%D⊂⊂%D⊂⊂%D⊂⊂%D⊂⊂%D⊂⊂%@Cp⊂%@Cp⊂%@Cp⊂&CP⊂&@C0⊂&@C0⊂'C⊂⊂'@Bp⊂(BP⊂(@b⊂_)↓↓P *↓ p(+β+⊂8"Q↓a βb⊂0α∪A∧h↓A4`↓α$X↓α@$X↓α@$P↓β$P↓β$P↓β$P↓β$X↓α@$X↓α@$`↓α$h↓A4p∧∀D("βb↓⊂πD ` 'α PP&β 0p%CI!%∧ !%∧ 0p%CI@`&BI`@(↓λT λπβa_ @!@↓∩@10↓S1⊂↓S @pα∪`P@αT!e ∧⊃``P∧∀!dxαBThαβ@D`↓D@4P↓E@4P↓ε$("∧C↓`⊃εA⊂x(∧Ip 'IP⊂&I@⊂%@I0⊂%I ⊂%I ⊂%I ⊂%I ⊂%@I0⊂&I@⊂&@I`⊂'A
↓⊂)Chp8Ei18"Qα1@∞λC λπ∩b∃Hα↔%h↓↔@%p↓↔`%x↓_&↓_&↓_&↓_&↓↔`%x↓↔@%p↓↔ %`↓⊗ DXλRad8β@αtPQ(A0π∧!P@,⊂0Kp⊂/@Kp⊂/KP⊂-@k⊂ +A
8%β) h)↓jp ,A0_.@K`⊂/@Kp⊂/@L⊂0L⊂λ#A`↓@%ελT FβB⊂
∀P↓∩@$X↓∩`$X↓∪$h↓∪@4xα∀ E_βU!U(εT`uλα∪`Dp↓S $`↓∩`$X↓∩`$P↓∩@$P↓⊃`p∩C∧("εβAp∧C@P(λ@)PHπ@)@Xπ)0 αA↓@⊂%@A⊂_¬@I ⊂¬@a⊂⊂%A@ αA λπαi λπB) λλA(T Gβa_ A QλS!⊂xS↓0pR`@(αB`$P↓B @H↓R@ XαA DPCA4PCa∀PD T8↓↓ QλS!⊂xS↓0pR`@(αB`$P↓B @H↓R@ XαA DPCA4PCa∀PD T("π∧R8
Eb`_∧@kp_∧@kP_∧@k0 ∧↓⊂ ∧↓_∧@j`_∧@j@ ∧↓
0_∧@j⊂_∧@ip ∧↓ `_∧@i@_∧@i ∧↓ ∧↓ @_∧@i`_∧@ip ∧↓
⊂_∧@j0_∧@j@ ∧↓
`_∧@k_∧@k⊂ ∧↓0 ∧↓P_∧@kp_∧@l_∧@hT ∞I$qX@0H↓R`0H↓S 0H↓S@@@α∀@@α∀@0H↓U0H↓U @@α∃`0H↓V 0H↓V@@@α↔0H↓W@0H↓W`@@α↔`@@α↔@0H↓W0H↓V@@@α⊗ 0H↓U`0H↓U @@α∃0H↓T@0H↓T@@α∪@@@α∪ 0H↓R`0H↓R@0H↓Q(Apπβ⊃(@,⊂0Kp⊂/@Kp⊂/KP⊂-@k⊂ +A
8%β) h)↓jp ,A0_.@K`⊂/@Kp⊂/@L⊂0L⊂"Qβq@∞ε"PR@$P↓∩`$X↓∩`$`↓∪ $p↓S`Eλα∀`u(εU!U_βT Dxα∪@4h↓∪$X↓∩`$X↓∩@$P↓∩@$(" $R8∩εc ⊂β@L`H5@m 4@`⊂λ4` λ3@`0λ3`@λ2@`Pλ2`pλ1@aλ1l⊂_0kp_/kP_.k0_-k⊂_,jp_+jP_*j0_)j⊂_(ip_'iP_&i0_%i ⊂"Q∧b(∪Iβ@↓∩@4X↓S4h↓S@4x↓T5λ↓T@5_↓U5(↓U@58↓V5H↓V@5X↓W5h↓W@5x↓X6λ↓X@6_↓B⊗ ↓A`⊗(↓A ⊗0↓A⊗8↓@`⊗@↓@@⊗H↓@ ⊗Pα~`60∧Y 8↓⊃(B8∞πB!⊂αA"⊂λ&B!pλ&αa`λ%AP(¬@I _∧A↓⊂_%A0(αA λπαi λπB) λλA(p@Fi!`"Q¬α(∪EbPpU`%8↓∃@%(↓∃%_
TCUλ↓∪`4`α∩@T`α∪@5↓T 5_∞∃β%(↓∃ %0↓∃`%8↓⊗∀("
$R8E"`λ0L⊂0@L ⊂1@I1X%π,`⊂3@m⊂ 5↓-⊂ 4l`_2@i!`%FL ⊂1L⊂⊂0L⊂0(T ∃ε#∩_
C∃0U 5(↓U λ↓∃ λ↓∀` _↓∀@ (↓∀ 8↓∀08↓S`@8α∪@ λ↓↓` λ↓∪0⊂↓↓` ⊂↓R@@_↓↓` _α∩`⊂(↓↓` (T 8↓∀ 8↓∀ 8↓∀ 8↓∀ 8↓∀ 8↓∀ 8↓∀ 8↓∀ 8↓∀ 8↓∀ 8↓∀ 8↓∀ 8↓∀ 8↓∀ 8↓∀ 8↓∀ 8↓∀ 8↓∀ 8↓∀ 8↓∀ 8↓⊃(BXF$1Xβ@@p⊂(@@p⊂(@@p⊂(@@p⊂(@@p⊂(@@p⊂(@@p⊂(@@p⊂(@@p⊂(@@p⊂(@@p⊂(@@p⊂(@@p⊂(@@p⊂(@@p⊂(@@p⊂(@@p⊂(@@p⊂(@@p⊂(@@p⊂(@@p⊂%@ P⊂β@@Pλ%↓0⊂β@@0 &` ⊂β@@ _'@⊂⊂β@@⊂⊂'Ap (`p_(@@p⊂)@P⊂)@@0⊂*@⊂⊂*@⊂⊂*@jP_+*`λ"Q¬B(∪EbP`B`∃(↓α`% ↓β % ↓β %_↓β`%⊂↓C`5⊂
T"tx↓E 4p↓E`4`↓F`4Pαπ D`↓F`4h↓F 4x↓¬`%↓¬ %λTBU_↓β`%_↓β`% ↓β % ↓B`5(↓α`%0B`∀("$R8∩ε`⊂β@I H%@i0 %@ ⊂_%@ _%@ 0_%@ @_%@ P_% p_%!_*jP_+jp_,k⊂_-k0_.kP_/kp_0l⊂_1l0_2lP_3lp_4m⊂_5m0_6mP⊂"Q¬b(∪IβB_↓≠6X↓Z@6H↓Z68↓Y@6(↓Y6_↓X@6λ↓X5x↓W@5h↓W5X↓V@5H↓V58↓U@5(↓U4PB4PA`4XA 4XA4X@`4X@@4X@ 4Xα∩`4P∧R@ 8↓⊃(Bx∞πB↓αA!` &BA⊂_&@` βi0⊂∧↓@⊂%@! ↓@) ⊂¬A⊂λ%!P(%!`_%!` %!p_%!`(%APλA 0λε 0 %@A ⊂α↓ @⊂β@`` &@`0_∧Aip(π↓λT _α↓⊃_
A $pα∪@Dpα∪ Dhα∪ Dh↓S 4`α∪4`↓S$X↓R`4X↓∩`$P↓R@$P↓⊃(C_ Ec⊃0B)0`*↓
p⊂,K⊂⊂,@K ⊂-K0⊂-@K0⊂%∧i!_-@K0⊂-@K ⊂-K⊂⊂,@K⊂+@J@ %C 0H"QεB⊃Fc0x↓⊗ %@α⊗E8↓@%0↓↓%0↓↓%(↓↓@%(↓↓@% ↓α% ↓α%_↓α@%⊂↓β%⊂↓β%λ↓β@%λ↓β@%↓∧$x↓∧@$x↓∧@$p↓¬$p↓¬$h↓¬@$h↓¬@$`↓ε$X↓ε@$X↓ε@$P⊂∩ct("
$α_
D`⊃x%λ 0⊂
I0⊂
I@⊂IP⊂IP⊂I`⊂
I`⊂
Ip⊂ Ip⊂ J⊂λJ⊂⊂πJ⊂⊂πJ ⊂εJ ⊂εJ0⊂¬J@⊂∧J@⊂∧JP⊂βJP⊂βJ`⊂αJ`⊂αJp⊂↓K ,↓⊂⊂,@HT ≠¬β"_
D@%`↓⊗`%X↓⊗@%P↓⊗ %H↓⊗%8↓∃`%0↓∃@%(↓∃ % ↓∃%_↓∀`%⊂↓∀@%λ↓∀ %↓∀$x↓∪`$p↓∪ $h↓∪$`↓∩`$X↓∩@$XQ(C8↓A!aI ⊂%I ⊂%I ⊂%i _%I ⊂%I ⊂%I ⊂"Qπ1 πcP`U $x∧∪@ ↓∪ (↓S 0α∪ 0α∩` 0↓@$X↓↓@ ⊂↓∩` 0↓@$P↓A _↓R@0(↓`4P↓A _↓R@0(↓`4P↓A ↓R@0 ↓↓4P↓A ↓R@0 ↓↓4P↓@` (↓R@0_↓↓ 4P↓@` (↓R@0_↓↓ 4X↓@ 0↓∩` ⊂↓↓@$X↓@ (↓R`P0↓S@0↓∪ 0(↓∪@ ↓∪!∧h↓∪ $("∂βAp
F`0 ¬↓)@λα@P_A)0λα@` ⊂αA λβAp(% p ∧↓ λβA↓⊂ %@ ` ∧A)@λαA↓ &@ @ ¬↓)`λ↓A↓0 '@ (¬A pλ↓↓!0_'@ (¬Ipλ↓βi λ↓@@ (α↓ λ↓@ 0(α↓ λ↓@ 0(α↓ 0_α↓ @ )↓P )↓P )↓P )↓P )↓P %@@P_β↓ ⊂β`` & P⊂∧↓0⊂&@0⊂¬↓I` εhT ≡FcQX
A@dp↓↓ D`↓αDXB`TXCTPC@TPC`@0R@⊃α↓∀PD@dPR`∀`DThC@0_↓∪@ X↓A@∃α↓@@0V@EPα⊗`EXα↔DPββ DhαCDxαα`Eαα@Eλαα E⊂αA@E α`U(∧Q(Cp∞πC1XFi1X+@Jp⊂+@Jp⊂+@Jp⊂+@Jp⊂+@Jp⊂+@Jp⊂+@Jp⊂+@Jp⊂+@Jp⊂+@Jp⊂+@Jp⊂+@Jp⊂+@Kλ"Qπq`∂εc0pU`%8↓∃`%8↓∃`%8↓∃`%8↓∃`%8↓∃`%8↓∃`%8↓∃`%8↓∃`%8↓∃`%8↓∃`%8↓∃`%8↓∃`$X
Rc4("⊂αQ8
F`⊂λε@) ⊂εI ⊂εi _¬A ¬↓)0_¬A)@_¬A)@ ¬A P ¬ ⊂⊂'↓↓⊂λ@Ip β@ λ'A `λ'@⊂ α@)`λ↓A@λ&@@@ ↓@)P⊂αA λ&``(&`p &a &a⊂ &a &@a _&A↓ _'↓↓⊂ '↓↓ _'↓↓0⊂'↓↓0⊂%↓a@λ"QQ8EB`λE∀P↓∧`$P↓∧`$P↓∧`$P↓α @↓∩@ H↓α$P↓α @↓∩@ H↓α$P↓α @↓∩@ H↓α$P↓aP_↓∩@ _ε@`$P↓α @↓∩@ H↓α$P↓α @↓∩@ H↓α$P↓α @↓∩` @↓α$X↓∧ $`↓C 4hαα DxεT!∀("_αQ8
F`⊂λ%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%¬)!(%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%@(T 0E"qX
E∃h↓↔ %h↓↔ %h↓↔ %h↓↔ %h↓↔ %h↓↔ $X
∩bEh↓↔ %h↓↔ %h↓↔ %h↓↔ %h↓↔ %h↓↔ %pQ(F⊂¬DDqh@) ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%αI0H"Q0X¬IcPPT`%_↓∀`%_↓∀`%_↓∀`%_↓∀`%_↓∀`%_↓∀`%_↓∀`%_↓∀`%_↓∀`%_↓∀`%_↓∀`%_↓∀`%_↓∀`%_↓∀`%_↓∀`%_↓∀`%_↓∀`%_↓∀`$X¬∩a$("→↓1⊂∪G ⊂H%αI ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%@(T 2Ba28∞@!$X¬∀`%_↓∀`%_↓∀`%_↓∀`%_↓∀`%_↓∀`%_↓∀`%_↓∀`%_↓∀`%_↓∀`%_↓∀`%_↓∀`%_↓∀`%_↓∀`%_↓∀`%_↓∀`%_↓∀`%_↓∀`%_↓∀`% Q(F@∧C$qh∧*⊂⊂(J⊂(Ip⊂'@Ip⊂'I`⊂&@IP⊂&@I@⊂&I@⊂%@I0⊂%@I ⊂%I0⊂%@I0⊂&I@⊂&IP⊂&@IP⊂'I`⊂'@Ip⊂'@J⊂(J⊂(@J λ"Q
⊂H¬IcP↓∩@$X↓∩`$X↓∪$`↓∪$h↓∪ $p↓∪@$p↓∪`$x↓∪`%↓∀%↓∀ %λ↓∀%↓∀$x↓∪`$x↓∪@$p↓∪@$h↓∪ $`↓∪$`↓∩`$X↓∩`$P↓∩@$("~aA∪G ⊂λ∧) ⊂∧I ⊂∧I ⊂∧I ⊂∧I ⊂∧I ⊂∧I ⊂∧I ⊂∧I ⊂∧I ⊂∧I ⊂∧I ⊂∧I ⊂∧I ⊂∧I ⊂∧I ⊂∧I ⊂∧I ⊂∧I ⊂∧I ⊂∧I ⊂∧I ⊂∧I ⊂∧I ⊂∧I ⊂∧I ⊂∧I ⊂∧I ⊂∧I ⊂∧I ⊂∧I ⊂∧I ⊂∧I ⊂∧I ⊂∧I ⊂∧I ⊂∧I ⊂∧I ⊂∧I0λ∧(T 6∧α"8∞B∃λ↓∀Eα∪`⊂λ↓ ∀h↓@ ⊂↓∪⊂ ↓↓∀XA (T %λ↓∀ %λ↓∀ %λ↓∀ %λ↓∀ %λ↓∀ %λ↓∀ %λ↓∀ %λ↓∀ %λ↓∀ %λ↓∀ %λ↓∀ %λ↓∩`⊂(↓↓ ∀`A S ⊂↓@$x@ λTEα∀ %⊂Q(FhF$qhε*`λ*@j@⊂@J@⊂@J0⊂↓@J ⊂α@J⊂⊂β@Ip βA `(βA)0 ↓@p⊂↓↓ ↓@@p⊂↓A
⊂⊂β@J⊂⊂β@J⊂⊂β@J⊂⊂β@J⊂⊂β@J⊂⊂β@J⊂⊂β@J⊂⊂β@J⊂⊂β@J⊂⊂β@J⊂⊂β@J⊂⊂β@J⊂⊂β@J⊂⊂β@J⊂⊂β@J⊂⊂β@I ↓@@p⊂↓A 0 ↓@p⊂↓↓ `(βA)p βA
⊂⊂β@J ⊂α@J0⊂↓@J@⊂@J@⊂@JP_+*`λ"Q
p8∧Fbpα∪4h↓S 4p↓S@4p↓S@4p↓S@4h↓S 4h↓S4`↓R`4X↓R`4P↓R@4P↓R@4P↓R@4X↓R`4`↓S D("≤∧" ∪@$⊂λ5M⊂⊂4@M⊂4Lp⊂3@L`⊂3LP⊂2L@⊂1@L0⊂1L ⊂0@L⊂⊂0I`⊂λI@ π@I0λ↓a`⊂% 0_ε@Ip_εIp_¬@J_¬J_∧@J⊂_∧J⊂_β@J _α@J _α@J0_↓@J0_↓@J@_@J@_@JP *A
`⊂+HT 8FcQP
↓0(¬S@@Xα∪@@Xα∪@@Xα∪@@Xα∪@@Xα∪@@Xα∪@@Xα∪@@Xα∪@@Xα∪@@Xα∪@@Xα∪@@Xα∪@@Xα∪@@Xα∪@@Xα∪@@Xα∪@@Xα∪@@Xα∪@@Xα∪@@Xα∪@@Xα∪@@Xα∪@@Xα∪@@Xα∪@@Xα∩C4("≤Cb
ε@↓p%G 1`&↓αPλ&↓"@λ&Aα0λ&A" λ'↓α⊂λ'↓!p⊂'A↓pλ'A!P⊂(↓!@λ(A↓0λ(A! λ)↓↓⊂λ)↓!λ)Apλ)A `λ*↓Pλ*↓ @λ*A0λ*A ⊂⊂+↓Jp +A⊂,HT :¬#↓0!λ↓∩@!λ↓∩@!λ↓∩@!λ↓∩@!λ↓∩@!λ↓∩@!λ↓∩@!λ↓∩@!λ↓∩@!λ↓∩@!λ↓∩@!λ↓∩@!λ↓∩@!λ↓∩@!λ↓∩@!λ↓∩@!λ↓∩@!λ↓∩@!λ↓∩@!λ↓∩@!λ↓∩BTX
⊃(G(
Fαa0¬)!(%B⊂⊂%B⊂⊂%B⊂⊂%B⊂⊂%B⊂⊂%B⊂⊂%B⊂⊂%B⊂⊂%B⊂⊂%B⊂⊂%B⊂⊂%B⊂⊂%B⊂⊂%B⊂⊂%B⊂⊂%B⊂⊂%B⊂⊂%B⊂⊂%B⊂⊂%B⊂⊂%@" λ"Q∞aH∞HC λ∩C∀P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$PRC∀8β@"tPQ(G8G∧!Pε)!H0@L⊂⊂0@L⊂⊂0@L⊂⊂0@L⊂⊂0@L⊂⊂0@L⊂⊂0@L⊂⊂0@L⊂⊂0@L⊂⊂0@L⊂⊂0@L⊂⊂%F !H#A`⊃@%ε(T <β↓r_
AD`↓↓∀X↓A ∀X↓↓@$P↓A 4P↓A 4P↓R@4X↓∩`4`↓∪@$hαS _↓∩`0 ↓∩@00↓∩@00↓R@00↓R@00↓R@00↓R` 0↓S ↓S _↓∪@U↓∀@%⊂↓T`%_↓T`4X↓A 4X↓A 4X↓↓@$`A 4hA$pα⊃(GHπD$1Xβ@*_(j_(j_(j⊂λ(@*⊂λ%A λ↓↓ x%A λ↓↓
⊂λ(@*_(j_(j_(j_(j_(j_(j_(j_(j⊂λ(@*⊂λ(@*⊂λ"Q∂ xλHc08T5↓T5↓T ∃λR`⊂(A ∀PπRAuλT ∃λT5↓T5↓T ∀8A`∃↓T5↓T5λT ∀Xα@⊂_↓RAtXα@⊂⊂α∀ ∃λT5↓T5↓T ∀("≡ba@⊃Fap'D)`H↓@IPP↓@I@X↓@I0`↓@I0`↓@I h↓@I h↓@I h↓@I h↓@I h↓@I0`↓@I0`↓@I@X↓@IPP↓@I`H↓@J8↓@J (↓@JP⊂↓@JP⊂↓@JP⊂↓@JP⊂↓@JP⊂↓@JP⊂↓@JP⊂↓@JP⊂↓@JP⊂↓@JP⊂↓@JP⊂↓@JP⊂↓@JP⊂↓@JP⊂↓@JP⊂↓@JP⊂↓@JP⊂↓@HT >πCr
C E(∧∃↓%_ε∀aE⊂π∀Ae⊂π∀Ae⊂π∀aE_ε∃↓$pαa_α∪ `λ¬ d`
∩cDX∞∩CdP∂∩CdP∂∩CdX∞∩a0_@A4`¬@ ⊂¬∪!_↓a∧xαA αV%@↓∃`E8α∃`D("∨#Ap⊂εaP⊂+@J` *@@ ⊂*@@ ⊂*@@⊂)@@`⊂)A⊂)A⊂(@A ⊂(A@⊂'@A`⊂'B⊂&@B ⊂&B@⊂%@B`⊂%C⊂%@B`⊂&B@⊂&@B ⊂'B⊂'@A`⊂(A@⊂(@A ⊂)A⊂)A⊂)@@`⊂*@@⊂*@@ ⊂*@@ ⊂+↓
p⊂+@HT ?πβaX
A P@αS!⊂ ∧S0(↓@@0(↓R` Hαα $X↓α@ P↓∩@ X↓α`$P↓β⊂X↓∩@!@↓∩@!@↓∩@!@↓∩@!@↓∩`!0↓∩`!0↓∪! ↓∪! ↓∪ !⊂↓∪@!↓∪` p↓∀ `↓∀ P↓∀@ @↓∀` 0↓∃ ↓∃ ⊂↓∃@E0α∃`%8↓⊃(Gx∞πD↓Xε@Jp⊂+↓
` *AJP0*α
0P)β
↓'DIa &EIQ0&ε 1P%FI!`%π !`%π !`%π 1P%B@0λ↓αI@H↓@ H&A`0⊂↓Ai`(α@@(+@Jp⊂+↓
` +↓λ↑xπZ,F(7≥
⊗04Y."!S*5HwG,6x2~-f89Xmε(6Y$¬ 2V∧εh0]
α9↑-V⊂7[∞>xε→Mvp:→L⊗_2XO↔ 2|`∞p∨`p@p%r↓0α>fpα>f␈x␈␈␈p¬ox␈␈{ βo0λ h≤<¬s}`λεK@t↓⊂r⎇@"λβ'∂αLH{bP∧ ↓¬#O0αλ h≤<
W>`(
@↓λ∧↓⊂z=@bλβ'∂↓=P{↓d⊂εN≡¬/O0∧λ h≤<εε>`H⊂@↓S@x↓(]⎇A"λβ'∂↓K`{αd⊂εN≡¬EO0ελ h≤<0}`h∃α⊂λ↓8!=Aa(α⊂@α⎇λ{βbP∧ ↓εα∂0λλ h≤<
}aλ⊂@↓S@x↓⊂⊂=B"λβ'∂βπ{∧d⊂εN≡ε⊗∨0
λ h≤<λg↑a(⊂@↓S@x↓λo⎇Bbλβ'∂β∂⊂{¬d⊂εN≡ε&?0λ h≤<]≡aH⊂@↓S@x↓HU⎇C"λβ'∂ααP{εd⊂εN≡∧←0∞
@↓λ∧
α≡ah∃α⊂λ↓P?⎇Cbλβ'∂β/0{πd⊂εN≡εf∨0⊂
@↓λ∧πj>bλ∃α⊂λxf=D!(α⊂@↓tP{λbP∧ ↓β]?0∩
@↓λ∧π{}b(∃α⊂λ↓X6=DbP∧ ↓β<h{ d⊂εN≡π¬o0∀
@↓λ∧∞→>bH∃α⊂λ↓`N=E!PαL9@βM_{
c ¬_sπ./0⊗
@↓λ∧∂∧>bh∃α⊂λ↓p8=EbP∧ ↓βmλ{d⊂εN≡πf/0_α` N≤@∂c}cλ∃α⊂λ↓_x⎇F!`αjVα
{c@¬U,πwo0~ `x∞ ∂}>c(∪@↓q`@α2=F`∧x{
`λ#o0≤ε H8tλ6}cH↓↔λh↓λ"=G!`αjVα__{∞bP∧ ↓λ(∨0≡π``#J⊂x≡ch∂@↓D8∀α⊂E⎇Gbλβ'∂∧/P{∂d⊂εN≡λg∨0 ε@P1f⊃↑≡dλ⊃↓Y8.⊃⎇H!`αcU0 @{⊂b`∧@∪ "←0"λ h∩x@Z≡d(↓∂@vλo⎇Hapβ∧"@"`{⊃c⊂¬ε⊂O←0$ p;s@↓;≡dH@↓∃p↔_8⎇I!hαp[`;`{∩dε:i@↓β␈0&π XX=@α&≡dh→αCX= t⎇Ib_β<⎇pYp{∪d ε]g ↓H?0(π@Xr&@β0↑eλ⊃@↓↑⊂_8↔⎇J" βP)pz`{∀c ¬∩m α¬←0*¬`H0d∧ ↑e(
↓)Ps@g⎇JaPαO| ↓∃0{∃e λ7y α8?0,π@`
β¬"≡eH∞↓4X⊃P⎇⎇K!pβε|`↓7 {⊗c@¬U,β.?0.πX*Xεt↑eh∞↓5(0α_}⎇Ka`αjV↓cλ{↔c@¬U,βQo00ε@P1f∩≡≡fλ
↓&_Lα [⎇L!_↓qd∧O0{_b0βcH )←02∧`8G⊂∩i≡f( @xp α(⎇⎇La(α⊂@α4_{→bP∧ ↓∧s/04∧0N≡∪∀↑fHλi`<α0T⎇M `↓↔∞@α(p{~bP∧ ↓ `∂06¬ @@α∪i}fh
↓&_Lα@∂=Ma(α⊂@α#8{≠a@α.≥
→∨08λ`p∃.∀B≡gλ⊂↓KXdαHA⎇N"_βE+@¬∨ {≤b βF≥ ¬
/0:πX*X∃∃}g(∞↓5(0αP[=Nbλβ'∂¬1({≥d⊂εN≡
jo0<∧`8G⊂∃e}gH
xp α`π=O! ↓qd¬F({≡c ¬_s_∂0>λ h≤<⊗T}gh⊂@↓S@xαhZ=Obλβ'∂¬c_{∨d⊂εN≡UoH¬tPAw{⎇xow{⎇x